TypeScriptってどんな言語？ 言語そのものを知る面白さ

ユニオン型と型の絞り込みが面白い。（slide=18）

「タグ」を見れば判別できるユニオン型をタグ付きユニオンと言う（slide=20）

論理積を使うと「設計上意図しない値が混ざる」

正確に可能性を表現（slide=24）